Treatment allocation by minimisation

Sequence balance minimisation: minimising with unequal treatment allocations

BACKGROUND Minimisation ensures excellent balance between groups for several prognostic factors, even in small samples. However, its use with unequal allocation ratios has been problematic. This paper describes a new minimisation scheme named sequence balance minimisation for unequal treatment allocations. METHODS Treatment- and factor-balancing properties were assessed in simulation studies ...

Disinfection by-product minimisation by organic and inorganic precursor removal

Symbolic Bisimulation Minimisation

We adapt the Coarsest Partition Reenement algorithm to its computation using the speciic data structures of Binary Decision Diagrams. This allows to generate symbolically the set of equivalence classes of a nite automaton with respect to bisim-ulation, without constructing the automaton itself. These equivalence classes represent of course the (new) states of the canonical minimal automaton bis...

Minimisation of ATL ^* Models

The aim of this work is to provide a general method to minimize the size (number of states) of a model M of an ATL∗ formula. Our approach is founded on the notion of alternating bisimulation: given a model M, it is transformed in a stepwise manner into a new model M’ minimal with respect to bisimulation. The method has been implemented and will be integrated to the prover TATL, that constructiv...

Optimisation of photometric stereo methods by non-convex variational minimisation

Estimating shape and appearance of a three dimensional object from a given set of images is a classic research topic that is still actively pursued. Among the various techniques available, photometric stereo is distinguished by the assumption that the underlying input images are taken from the same point of view but under different lighting conditions. The most common techniques provide the sha...